Finite automata

Results: 673



#Item
371Automata theory / Models of computation / Inflection / Transducer / Agglutination / Lexicon / Morpheme / Finite-state machine / Morphology / Linguistics / Linguistic morphology / Grammar

Using Finite State Technology in Natural Language Processing of Basque Iñaki Alegria, Maxux Aranzabe, Nerea Ezeiza, Aitzol Ezeiza, and Ruben Urizar Ixa taldea, University of the Basque Country, Spain [removed]

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-01-27 09:29:09
372Models of computation / Combinatorics / Computer science / Combinatorics on words / Deterministic finite automaton / Nondeterministic finite automaton / Regular language / String / Regular expression / Automata theory / Formal languages / Theoretical computer science

COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 10 Discrete Mathematics (AMP) (a) For each symbol x in the alphabet Σ = {a, b, c}, let Ox be the language over Σ consisting of all strings that contain an odd number

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:18:43
373Formal methods / Security / Büchi automaton / Computer security / State / Security policy / Kernel / Finite-state machine / Models of computation / Automata theory / Theoretical computer science

Enforceable Security Policies FRED B. SCHNEIDER Cornell University A precise characterization is given for the class of security policies enforceable with mechanisms that work by monitoring system execution, and automata

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2001-11-26 17:13:32
374Finite state transducer / Finite-state machine / Speech recognition / Computer science / Computing / Applied mathematics / Automata theory / Models of computation / Formal languages

Machine Translation with Inferred Stochastic Finite-State Transducers

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-03-31 07:03:40
375Models of computation / Mathematics / Symbol / Nondeterministic finite automaton / Formal languages / Cycle rank / Ε-quadratic form / Graph theory / Theoretical computer science / Automata theory

APPROXIMATE MATCHING OF REGULAR EXPRESSIONS EUGENE W. MYERS† Department of Computer Science University of Arizona Tucson, AZ 85721

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-03-21 10:39:03
376Finite state transducer / Applied mathematics / Mathematics / Semiring / Finite-state machine / Computing / Büchi automaton / Automata theory / Models of computation / Formal languages

Weighted Finite-State Transducer Algorithms An Overview Mehryar Mohri AT&T Labs – Research Shannon Laboratory 180 Park Avenue, Florham Park, NJ 07932, USA

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-03-24 09:41:32
377Languages of Iraq / Languages of Lebanon / Languages of Syria / Central Semitic languages / Languages of Israel / Autosegmental phonology / Lexicon / Nonconcatenative morphology / Root / Linguistics / Languages of Asia / Language

Multitiered Nonlinear Morphology Using Multitape Finite Automata: A Case Study on Syriac and Arabic George Anton Kiraz Bell Laboratories, Lucent Technologies

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-02-15 07:12:39
378Dynamic programming / Models of computation / Automata theory / Operations research / Optimal control / Finite-state machine / Levenshtein distance / Viterbi algorithm / Mathematics / Theoretical computer science / Applied mathematics

Programming Languages T.A. Standish Editor

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-03-21 10:29:32
379Formal languages / Automata theory / Theoretical computer science / Graph / Finite state transducer / Tree automaton / Mathematics / Graph theory / Combinatorics

Labeled directed graphs and FSA as classifiers of strings Andrei Kelarev, Byeong Kang, Arthur Sale, Ray Williams School of Computing University of Tasmania Private Bag 100, Hobart Tasmania 7001, Australia

Add to Reading List

Source URL: eprints.utas.edu.au

Language: English - Date: 2014-11-17 22:13:12
380Computer science / Büchi automaton / Finite-state machine / Powerset construction / Infinite tree automaton / Ω-automaton / Automata theory / Theoretical computer science / Models of computation

Recognizing safety and liveness

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-09-13 15:44:12
UPDATE